Abstract Semantics and Static Interpretation in IMP
نویسنده
چکیده
Semantics and Static Interpretation in IMP
منابع مشابه
Draft Version Denotational Semantics for SSA Conversion
We present the first formal specification of the SSA form, an intermediate code representation language used in most modern compilers such as GCC or Intel CC, and of its conversion process from imperative languages. More specifically, we provide (1) a denotational semantics of the SSA, the Static Single Assignment form, (2) a collecting denotational semantics for a Turing-complete imperative la...
متن کاملDraft Version In and Out of SSA: A Denotational Specification
We present non-standard denotational specifications of the SSA form and of its conversion processes from and to imperative programming languages. Thus, we provide a strong mathematical foundation for this intermediate code representation language used in modern compilers such as GCC or Intel CC. More specifically, we provide (1) a new functional approach to SSA, the Static Single Assignment for...
متن کاملIn and Out of SSA: A Denotational Specification
We present non-standard denotational specifications of the SSAform and of its conversion processes from and to imperative pro-gramming languages. Thus, we provide a strong mathematicalfoundation for this intermediate code representation language usedin modern compilers such as GCC or Intel CC.More specifically, we provide (1) a new functional approachto SSA, the Static S...
متن کاملAbstract Interpretation Based Static Analysis Parameterized by Semantics
Interpretation Based Static Analysis Parameterized by Semantics
متن کاملA New Operational Semantics for Prolog
The majority of abstract interpretation models defined for Prolog use abstract operations which do not have explicit counterpart in the SLD-resolution. We propose, in this paper, an operational semantics closely related to these models. We prove his equivalence with the SLDresolution and then we use it to prove the consistency of one of abstract semantics presents in [7, 8, 9]. Key-words: Logiq...
متن کامل